Incremental Assurance Through Eliminative Argumentation

An assurance case for a critical system is valid that at particular point in time, such as when the delivered to certification authority review. The argument structured around evidence exists time. However, modern cases are rarely one-off exercises. More information might become available (e.g., field data) could strengthen (or weaken) validity of case. This paper proposes notion incremental wherein structure includes both currently and plan incrementally increasing confidence additional or higher quality becomes available. Such needed further reduce doubts engineers reviewers have. formalizes idea through an argumentation pattern. concept demonstrated by applying pattern part safety air traffic control system.